Smoothsort Demystified
⚡Quicksort
Flag this post
Series Week 8/52 — Database consolidation : Key to managing rising applications to curtail OCI cloud costs
📋Columnar Storage
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
✓Formal Verification
Flag this post
Why isn’t Rust getting more professional adoption despite being so loved?
🏷️Memory Tagging
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
📦Folly
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
🕐Vector Clocks
Flag this post
EP189: How to Design Good APIs
blog.bytebytego.com·14h
🎨API Design
Flag this post
Dynamically Reconfigurable Instruction Cache for Low-Power ARM Custom Cores
🔁Cache Coherence
Flag this post
Coinbase Ventures-Backed Supra Offers $1M Bounty to Beat Its Parallel EVM Execution Engine
hackernoon.com·1d
🚀Performance
Flag this post
Generative AI and the P=NP problem
lesswrong.com·14h
🧮SMT Solvers
Flag this post
Can Language Models Optimize Real-World Repositories on Real Workloads?
📊Profile-Guided Optimization
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
λFunctional Programming
Flag this post
Enable Modern Data Flows with CDC Streaming
pub.towardsai.net·15h
🔀CRDTs
Flag this post
Built a Claude Skill That Optimizes Your Docs/README for LLMs So They Actually Understand Them (based on c7score and llmstxt formats)
💬Prompt Engineering
Flag this post
EverMemOS
🧠Memory Models
Flag this post
Transaction-Oriented Programming
🧠Memory Models
Flag this post
Loading...Loading more...